Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic A
function which assigns atruth value to everywell-formed formula , which is identical to themodel 's interpretation function when applied to atomicpropositions , and which otherwise assigns a truth valuerecursively depending on the formula's top logicalconnective and the truth values of the subformulae surrounding that logical connective.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word valuation function.
Examples
Sorry, no example sentences found.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.